This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

In this engaged and engaging survey Piers Benn examines the major currents of ethical theory, concentrating on sound reasoning about morality. Benn's account offers a qualified defence of Aristotelian virtue theory, while bringing out what is distinctive and valuable in a broad range of approaches, such as those of Kant and the Utilitarians. His examples emphasize the ordinary choices of everyday life - gossip, friendship, honesty, sexual relations, work, and self-realization.

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

Research has shown that adults can engage in cognitive offloading, whereby internal processes are offloaded onto the environment to help task performance. Here, we investigate an application of this approach with children, in particular children with poor working memory. Participants were required to remember and recall sequences of colors by placing colored blocks in the correct serial order. In one condition the blocks were arranged to facilitate cognitive offloading (i.e., grouped by color), whereas in the other condition they were arranged (...) randomly. Across two experiments (total N = 166) the ordered condition improved task performance for children with low working memory ability. In addition, participants in Experiment 2 rated the difficulty of the two arrangements and performed a further condition in which they were given an opportunity to freely arrange the blocks before completing the task. Despite performing better in the ordered condition, children with low working memory ability did not rate the ordered arrangement as easier, nor did they choose an ordered arrangement when given the opportunity to do so. This research shows that cognitive offloading can also be a useful process in populations other than typical adults, and the implications of this work for supporting children with poor working memory are discussed. (shrink)

In the present state of philosophy in the English-speaking world, to choose to talk about sense data may seem perverse. What could be more boring for one's audience than to attempt variations on so threadbare a theme? And worse, what could be more unfashionable in the aftermath of Wittgenstein and Austin? My reasons for selecting this unpromising topic are twofold. First, the general theme of this series of lectures is empiricism. And whatever meanings we put upon that ambiguous word, it (...) is clear that as a matter of history the problems of perception have been important problems for nearly all those philosophers who would consider themselves to be empiricists. And however unsatisfactory sense datum theories of perception may now be held to be, such theories have been central to the empiricist tradition. Secondly, it is important not to be too much impressed by the fact that a particular philosophical opinion is fashionable or unfashionable. The former certainly does not guarantee its truth nor the latter its falsity. It has often been remarked that philosophical opinions are very rarely refuted. Instead they fall out of vogue only to return some years later in another guise. It is perhaps time to take another look at the notion of sense data. The most ingenious and persistent attacks on analyses of perception in terms of sense data have been at best indecisive, as Professor Ayer showed in his reply to Austin's Sense and Sensibilia. (shrink)

In the present state of philosophy in the English-speaking world, to choose to talk about sense data may seem perverse. What could be more boring for one's audience than to attempt variations on so threadbare a theme? And worse, what could be more unfashionable in the aftermath of Wittgenstein and Austin? My reasons for selecting this unpromising topic are twofold. First, the general theme of this series of lectures is empiricism. And whatever meanings we put upon that ambiguous word, it (...) is clear that as a matter of history the problems of perception have been important problems for nearly all those philosophers who would consider themselves to be empiricists. And however unsatisfactory sense datum theories of perception may now be held to be, such theories have been central to the empiricist tradition. Secondly, it is important not to be too much impressed by the fact that a particular philosophical opinion is fashionable or unfashionable. The former certainly does not guarantee its truth nor the latter its falsity. It has often been remarked that philosophical opinions are very rarely refuted. Instead they fall out of vogue only to return some years later in another guise. It is perhaps time to take another look at the notion of sense data. The most ingenious and persistent attacks on analyses of perception in terms of sense data have been at best indecisive, as Professor Ayer showed in his reply to Austin's Sense and Sensibilia. (shrink)

Oxford Scholarly Classics brings together a number of great academic works from the archives of Oxford University Press. Reissued in a uniform series design, they will enable libraries, scholars, and students to gain fresh access to some of the finest scholarship of the last century.

Invitation to Holy CommunionParticipation in Holy Communion raises a number of questions. The Church is compelled to see to it that the Sacrament is not desecrated and on the other hand, the Church is obliged to encourage participation. The problem arises when visitors of the same confession turn up at the celebration. Can they be allowed to participate? In some churches the answer is an undoubted: No. For other churches it is self-evident - there are not obstacles. In between are (...) a number of churches who are more hesitant and a number of safeguards are adopted. In this case - as is the case in the Nederduitsch Hervormde Kerk - the responsibility rests mainly with the participant, as he must be aware of the preconditions set by the church and whether he can honestly declare that as far as he is concerned he is unaware of anything prohibiting him from participation. Thus no changes in the church statute are required. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Transcendental Phenomenology as Human Possibility: Husserl and Fink on the Phenomenologizing Subject by Denis DŽANIĆD. J. HobbsDŽANIĆ, Denis. Transcendental Phenomenology as Human Possibility: Husserl and Fink on the Phenomenologizing Subject. Cham: Springer, 2023. x + 236 pp. Cloth, $119.99Denis Džanić’s Transcendental Phenomenology as Human Possibility, despite its superficially historical focus on a specific period of collaboration between Edmund Husserl and his somewhat wayward protégé Eugen Fink, addresses key (...) systematic issues in transcendental phenomenology, namely, how the act of phenomenologizing should be understood in connection with the specific human beings who aim to become phenomenologists, and what the answer to this question tells us about both the genuine subject of phenomenology and the motivation for phenomenologizing. These questions are important for our understanding of not only the historical development of phenomenology but also the practice and goals of phenomenology—specifically, for a conception of phenomenologizing as a project in which we, as particular, historical, empirical figures, might want to engage.Much of the book focuses on laying the groundwork for understanding these complicated issues both historically and systematically. Džanić does an admirable job of tracing the rapidly evolving interactions between Husserl and Fink, both as intellectual collaborators on this philosophical project and as a pair of very human figures who ultimately found themselves pursuing quite different solutions to the problems of the subject and origin of phenomenology. He focuses particularly on the Sixth Cartesian Meditation, Fink’s attempt to extend Husserl’s famous text to include a phenomenology of the act of phenomenologizing itself (including Husserl’s marginal comments on the text), although he draws on a number of other significant texts and manuscripts (mostly Husserl’s, albeit with an extended aside on Heidegger) wherever they are helpful for explicating the complex evolution of Husserl’s thought on the subject. Admittedly, the book thus takes on a challenging task—both because of the difficult nature of this topic and because of the obscurity of the technical terms required to discuss it. However, despite the necessarily enigmatic character of the relevant language, Džanić’s attempts to explore the main outlines of this issue are worthwhile, particularly due to his ability to resist the temptation to view Husserl’s thought here as monolithic.In the early chapters, Džanić explicates in detail the rather complicated solution that Fink proposed to this difficulty, namely, the abandonment (to some extent) of the ultimately human origin of phenomenology in favor of a fundamentally nonhuman (and eventually meontic) conception of the transcendental ego, which generated a great deal of elaborate and (at least in the Sixth Meditation) inadequately supported speculation. For Fink, both the motivation to phenomenologize and the act of phenomenologizing itself ultimately stem from a source that is fundamentally prior to—in a(n onto)logical rather than temporal sense—any empirical ego or empirical act of phenomenologizing, a source that merely “enworlds” itself (in various complicated senses that Džanić does [End Page 145] an admirable job of clarifying) in the apparently anthropologistic, everyday world of individual phenomenologists. Džanić calls this interpretation of phenomenology Fink’s “epistemological anti-humanism,” and it serves as the basis for one potential (radically anti-Heideggerian but nevertheless somewhat disappointing) solution to the question of why we should phenomenologize at all. As Džanić notes, this solution was at least briefly taken up by Fink’s mentor Husserl himself, although the degree to which Husserl actually endorsed this path beyond the level of a fleeting flirtation remains questionable. Ultimately, as Džanić rightly highlights and as becomes abundantly clear in Husserl’s (often rather scathing) notes on Fink’s Sixth Cartesian Meditation, he abandoned this interpretation.Accordingly, in the later chapters of the book, Džanić traces Husserl’s ultimate development of a quite different solution to the problems of the origin and motivation of phenomenology—a solution that, unlike his brief foray into Finkian grandeur, views the act of phenomenologizing as essentially rooted in human possibility (that is, as part of the famous lifeworld that features so prominently in Husserl’s work, especially in the Crisis and other late texts). After his collaboration with and... (shrink)

Issues of resource allocationResource allocation, triageTriage, and rationingRationing decisions are common in the context of disasters and public healthPublic health emergencies, such as pandemics. However, to date, the majorityMajority of the literature focuses on an adult population with very little attention given to a pediatric population or to a population that may be mixed: adults and children. Furthermore, decisions of rationingRationing scarce resources do not only occur during disasters and other wide-scale emergencies. Such decisions are commonplace in pediatric organ transplantation (...) and can creep into areas of experimental medicine, such as xenotransplantation. This chapter explicates differences between pediatric and adult triageTriage decisions by first looking at the trifold issues of resource allocationResource allocation, triageTriage, and rationingRationing decisions mainly in the context of a disaster situation or public healthPublic health emergency. However, the issues of pediatric organ transplantation, health disparitiesHealth disparities, and experimental medicine will also be covered. (shrink)

According to What Is Philosophy?, all disciplines combat opinion, but art fights most effectively because art and opinion both pertain to sensibility. Yet, this common provenance also makes the line dividing art and opinion porous. The stakes of this porosity are perhaps most visible in the relation of art to life. Although art must avoid two forms of death, ‘chaos’ and ‘opinion’, Deleuze and Guattari don't treat chaos and opinion equally. The fundamental distinction between good death and bad death, between (...) death by chaos and death by opinion, has a number of problematic consequences. Perhaps the most consequential: opinion is deadlier than death itself. (shrink)

Does South Africa need a common moral language? Many people are of the opinion that South Africa finds itself 'after Babel’ and needs a common moral language (1). The author considers some of the arguments of people who disagree with this analysis, because they do not define the problem in this way (2); because they find the language- or Babel-methaphor confusing (3); because they agree with the description of the problem, but not with the suggested solution, namely a common moral (...) language (4); or because they accept the solution, but do not regard it as the proper task of the Christian church to be involved in this search for a common moral language (5). (shrink)

Let your verse be the happy occurrenceSomehow within the restless morning windWhich goes about smelling of mint and thyme...And all the rest is literature.It's not lIterary unless it's depressing. Although this statement is unfounded, I often hear it from beginning students and nonacademics who believe that literature is always dark and dreary, and that literariness is tantamount to depictions of suffering, struggle, and tragedy. I typically respond to such comments in the usual English-professor way, pointing out that literature represents the (...) full range of human experience, and that the subject matter is far less important than the way in which a writer describes it. What is more, I say to such people... (shrink)

In his 1922/1923 articles for the Japanese magazine _Kaizō_, Edmund Husserl identifies a particular “humanity” or human culture by the purposeful idea [_Zweckidee_] consciously embraced by the community. This purposeful idea is attained through rational self-formation on the part of the community in a manner analogous to the rational self-formation of the individual human being. Thereafter, it can be referenced to distinguish different cultures (or stages of cultural development) from one another through its objective manifestation in communal groups and cultural (...) products, as Husserl retraces in a historical account of the development of Western history. This paper explores the essential character of this conception of the purposeful idea from both an exegetical and a systematic perspective, examining in particular the relationship between such an idea and the values experienced by individual subjects within a culture (which are, according to Husserl, also available at the level of objective culture in relation to a communal subject). The paper argues that Husserl’s basic conception of the purposeful idea is a good model for understanding certain essential characteristics of cultural constitution in general, although some of his fundamental assumptions—especially the strict identity he attempts to establish between a purposeful idea as such and the specific goal of universal, rational self-understanding—turn out to be somewhat more questionable in light of the connection between the purposeful idea and the genuinely felt values underlying it. (shrink)

This paper is written in an analytic style, but it is meant to deprive analysis of an important prop. The title needs a short introduction. The mistake is to take ‘real’ as governed in its separate uses by criteria; and this paper is meant to show that this is a mistake and that Ausin makes it. In the course of the argument I try to develop my own account and, although I am not altogether satisfied with it, the result gives (...) something to build upon. I believe the mistake is by no means confined to Austin, but that it is connected with a particular conception of philosophy. (shrink)